Merge pull request #1268 from jeenu-arm/ehf-pri-fix
authordavidcunado-arm <[email protected]>
Sat, 17 Feb 2018 00:21:25 +0000 (00:21 +0000)
committerGitHub <[email protected]>
Sat, 17 Feb 2018 00:21:25 +0000 (00:21 +0000)
EHF: Fix priority check


Trivial merge